heyting algebra meaning in English
heyting代数
Examples
- The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3
系统地研究了偏序集上蕴涵代数与heyting代数之间的关系，得到了蕴涵代数中蕴涵算子的一个较好的条件，并给出了偏序集上蕴涵代数成为布尔代数的一些条件。 - Fuzzy logic is studied with algebraic tools in this paper . a kind of algebraic abstract of fuzzy logic , implication algebra on a partial ordered set , is given . the relations between implication algebra and other algebraic structures , such as mv - algebra and heyting algebra etc . , and the filter and the structure of implication algebra on a partial ordered set are studied
本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如mv -代数， heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。